Automata theory

Results: 1263



#Item
241Logarithms / Exponentials / Analytic number theory / Natural logarithm / Prime-counting function / Recurrence relation / Exponential function / Exponentiation / Special functions / Mathematics / Mathematical analysis

Exponential Period of Neuronal Recurrence Automata with Excitatory Memory

Add to Reading List

Source URL: www.complex-systems.com

Language: English - Date: 2012-09-20 14:36:40
242Mathematical analysis / Topological space / Lp space / Model theory / Bounded set / Operator topologies / Topology / General topology / Mathematics

Logic for Communicating Automata with Parameterized Topology Benedikt Bollig LSV, ENS Cachan, CNRS & Inria, France

Add to Reading List

Source URL: www.lsv.ens-cachan.fr

Language: English - Date: 2014-09-19 10:49:56
243Computer science / Applied mathematics / Deterministic finite automaton / Nondeterministic finite automaton / DFA Records / Finite-state machine / Algorithm / Counterexample / Regular expression / Automata theory / Models of computation / Theoretical computer science

A How Can Automatic Feedback Help Students Construct Automata? LORIS D’ANTONI, University of Pennsylvania DILEEP KINI, University of Illinois at Urbana-Champaign RAJEEV ALUR, University of Pennsylvania

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2015-03-11 17:28:03
244Formal languages / Computer science / Mathematics / Deterministic pushdown automaton / Pushdown automaton / Tree automaton / Alphabet / A / Automata theory / Models of computation / Theoretical computer science

String Suffix Automata and Subtree Pushdown Automata

Add to Reading List

Source URL: www.stringology.org

Language: English - Date: 2009-09-02 12:00:50
245Theoretical computer science / Mathematics / Formal languages / Finite state transducer / Finite-state machine / Tree automaton / Tree / Automata theory / Mathematical logic / Models of computation

Fast: a Transducer-Based Language for Tree Manipulation Loris D’Antoni University of Pennsylvania

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2014-03-20 17:09:13
246Multi-agent systems / Science / Computing / Scientific modeling / DEVS / Agent-based model / Cognitive science / AgentSpeak / LIDA / Artificial intelligence / Cognitive architecture / Automata theory

Proceedings Template - WORD

Add to Reading List

Source URL: www.inf.kcl.ac.uk

Language: English - Date: 2013-06-09 08:21:16
247Graphic design / Automata theory / Theoretical computer science / Typography / Communication design / State diagram / Paragraph / UML state machine / Section sign / Models of computation / Writing / UML diagrams

Corrections to the 2006 book “Modeling, Specification, and Verification using UML Statecharts” Discovered by: Prof. Tom Otani, of NPS Dr. Vahid Reza Ramezani, of UMD

Add to Reading List

Source URL: www.time-rover.com

Language: English - Date: 2011-02-28 22:54:29
2483M / Technology / Economy of the United States / Algebra / Recurrence relation / Theory of computation

Cyclic Evolution of Neuronal Automata with Memory When All the Weighting Coefficients are Strictly Positive

Add to Reading List

Source URL: www.complex-systems.com

Language: English - Date: 2012-09-20 14:36:17
249Regular expressions / Automata theory / Pattern matching / Computer programming / TRE / Genetic algorithm / Tac / String / Context-free grammar / Formal languages / Software engineering / Computing

Playing Regex Golf with Genetic Programming Alberto Bartoli Andrea De Lorenzo DIA - University of Trieste

Add to Reading List

Source URL: www.genetic-programming.org

Language: English - Date: 2014-07-05 17:14:15
250Applied mathematics / Automata theory / Models of computation / Mathematical optimization / NP / Deterministic pushdown automaton / Pushdown automaton / P / Complement / Theoretical computer science / Computational complexity theory / Complexity classes

ICS 162 – Spring 2001 – Final Exam Name: Student ID: 1:

Add to Reading List

Source URL: www.ics.uci.edu

Language: English - Date: 2003-12-01 14:01:08
UPDATE